<?php
include "funciones.php";
if (sesion()) {
?>
    <html>
    <head>
        <link rel="stylesheet" href="estilos/noticias.css">
        <title>
            MEN&Uacute PRINCIPAL
        </title>
    </head>
    <body>
        <?php
            pintar_menu("menu_principal");
        ?>
    </body>
</html>

<?php
} else {
    header("Location: index.php");
}
?>
